<html>
  <head></head>
  <body><script src="devtools.js"></script></body>
</html>